Языковедческая дисциплина, предметом которой является язык, изучаемый с точки зрения своего формального строения и организации его в целом.